COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	normal[w85,jmc]		Normally birds fly
C00003 ENDMK
C⊗;
normal[w85,jmc]		Normally birds fly

Normally birds fly, but Tweety's wings have been clipped.

Suppose someone tells me, ``Normally elephants are monogamous''.  On the
one hand, this assertion can be heard, understood, stored, believed or
challenged.  In this it retains its unitary character.  In its
application, however, it gets expanded into some construction involving
$ab$ and is used via a circumscription relative to a certain collection of
sentences.  Its verification conditions may also be peculiar.